51![Weak Formal Systems and Connections to Computational Complexity Lecture Notes for a Topics Course University of California, Berkeley January-May 1988 Weak Formal Systems and Connections to Computational Complexity Lecture Notes for a Topics Course University of California, Berkeley January-May 1988](https://www.pdfsearch.io/img/fa335cbf932ced6e8d0c402229b52a1c.jpg) | Add to Reading ListSource URL: euclid.ucsd.eduLanguage: English - Date: 2006-04-24 18:16:59
|
---|
52![1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni 1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni](https://www.pdfsearch.io/img/339908e3f8cd49fbf34a9e3b67b9ec01.jpg) | Add to Reading ListSource URL: gallium.inria.frLanguage: English - Date: 2015-04-08 08:34:46
|
---|
53![Multi-focusing on extensional rewriting with sums Gabriel Scherer1 1 Gallium, INRIA, France Multi-focusing on extensional rewriting with sums Gabriel Scherer1 1 Gallium, INRIA, France](https://www.pdfsearch.io/img/bda4a37ddb49730bbba3598293364cec.jpg) | Add to Reading ListSource URL: gallium.inria.frLanguage: English - Date: 2015-04-02 15:59:38
|
---|
54![Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh](https://www.pdfsearch.io/img/f99c7b38ee2cbc67196ef0d5c166c284.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-02-04 11:56:16
|
---|
55![Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno](https://www.pdfsearch.io/img/a790c48cf97b2b903c3bc471a6287be4.jpg) | Add to Reading ListSource URL: www.dsi.unive.itLanguage: English - Date: 2005-06-07 06:33:56
|
---|
56![A Tutorial on Proof Theoretic Foundations of Logic Programming A Tutorial on Proof Theoretic Foundations of Logic Programming](https://www.pdfsearch.io/img/4c55b07fbe5c322502673e5ad34902e5.jpg) | Add to Reading ListSource URL: www.ki.inf.tu-dresden.deLanguage: English - Date: 2005-09-20 10:33:36
|
---|
57![](https://www.pdfsearch.io/img/a2c7a3a2d97d4704ef059a8c023aa134.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2014-08-27 06:04:04
|
---|
58![Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014 Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014](https://www.pdfsearch.io/img/cfaee523fe7070ff0a32c448538c6ff7.jpg) | Add to Reading ListSource URL: www.cri.ensmp.frLanguage: English - Date: 2014-12-23 09:38:50
|
---|
59![The Inverse Method for Many-Valued Logics? Laura Kov´ acs1 , Andrei Mantsivoda2 , and Andrei Voronkov3 1 Chalmers University of Technology The Inverse Method for Many-Valued Logics? Laura Kov´ acs1 , Andrei Mantsivoda2 , and Andrei Voronkov3 1 Chalmers University of Technology](https://www.pdfsearch.io/img/b06899c94de21b747d6cc29894117724.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2013-12-12 08:24:41
|
---|
60![Double Negation Translations as Morphisms Fr´ed´eric Gilbert1 and Olivier Hermant2 1 2 Ecole des Ponts ParisTech, Inria Double Negation Translations as Morphisms Fr´ed´eric Gilbert1 and Olivier Hermant2 1 2 Ecole des Ponts ParisTech, Inria](https://www.pdfsearch.io/img/da4c9e8354607682c42001ab9a95449e.jpg) | Add to Reading ListSource URL: www.cri.ensmp.frLanguage: English - Date: 2015-01-06 11:05:12
|
---|